A Parallel Beta-binders Simulator
نویسندگان
چکیده
Beta-binders is a comparatively new modeling formalism introduced for systems biology. To execute Beta-binders models, suitable simulators are required which translate the operational semantics of Beta-binders into a sound and efficient execution. Efficiency can be reached by parallel and distributed simulation and by a proper representation of models to ensure a fast manipulation. Both possibilities are considered in the implementation of the described hierarchical Beta-binders simulator. The description includes a tree structure which reflects π-Calculus and Beta-binders processes and the algorithm of the simulator which enables a distributed and optimistic, parallel execution.
منابع مشابه
Design and Kinematic Analysis of a 4-DOF Serial-Parallel Manipulator for a Driving Simulator
This paper presents the kinematic analysis and the development of a 4-degree-of-freedom serial-parallel mechanism for large commercial vehicle driving simulators. The degrees of freedom are selected according to the target maneuvers and the structure of human motion perception organs. Several kinematic properties of parallel part of the mechanism under study are investigated, including the inve...
متن کاملBeta - binders for biological quantitative experiments 1
This paper focuses on Beta-binders, a language of processes with typed interaction sites which has been recently introduced to represent biological entities. Here the syntax and semantics of Beta-binders are enriched to achieve a stochastic version of it, in order to obtain quantitative measures on biological phenomena. The relevance of quantitative reasoning is outlined running a biological ex...
متن کاملBeta-binders with Biological Transactions
In this work we propose an extension of Beta-binders with biological transactions, called TBeta-binders, in order to model a sequence of elementary actions atomically. This extension is useful when we need to specify multi-reactant multi-product reactions or when we use a sequence of actions to represent a single biological interaction. Some properties of these transactions are reported. Finall...
متن کاملCompact Lossy Inductance Simulators With Electronic Control
In this paper two R‑L network simulator configurations employing a single VDDIBA, one resistance and one grounded capacitance are presented. The first configuration is a grounded series resistor-inductor (R‑L) network simulator and the second configuration is intended for grounded parallel resister-inductor (R‑L) circuit simulation. Both the proposed circuits enjoy several beneficial features s...
متن کاملAutosubst: Reasoning with de Bruijn Terms and Parallel Substitutions
Reasoning about syntax with binders plays an essential role in the formalization of the metatheory of programming languages. While the intricacies of binders can be ignored in paper proofs, formalizations involving binders tend to be heavyweight. We present a discipline for syntax with binders based on de Bruijn terms and parallel substitutions, with a decision procedure covering all assumption...
متن کامل